Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
191	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
192	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
193	On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-02-02 09:55:31 Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science
194	SMT Solvers: Theory and Implementation Summer School on Logic and Theorem Proving Leonardo de Moura Microsoft Research Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Model theory Predicate logic Formal languages Metalogic Satisfiability Modulo Theories Interpretation Well-formed formula Structure Term Logic Mathematical logic Mathematics
195	hiJaC Higher-Order UTP for Theories of Object-Orientation Frank Zeyda and Ana Cavalcanti University of York (UK) Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:36:54 Formal methods Mathematics Computability theory Functions and mappings Predicate logic Mereology Logic
196	Production-Run Software Failure Diagnosis via Hardware Performance Counters Joy Arulraj Po-Chun Chang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-01-24 18:43:34 Central processing unit Software optimization Predicate logic Predicate Parallel computing Hardware performance counter Lock Software bug Profiling Computing Computer programming Concurrency control
197	UTP Theories of Undefinedness Jim Woodcock & Victor Bandur University of York UTP Symposium, Paris: 27 August Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 02:26:18 Computability theory Formal methods Model theory Models of computation Lambda calculus Predicate Interpretation Function Primitive recursive function Logic Mathematical logic Mathematics
198	Introductory Logic PHIL 102, Spring 2011 M/W 10–10:50, LCD01 Instructor: Colin Klein Office: 1420 University Hall Add to Reading List Source URL: www.colinklein.org Language: English - Date: 2013-06-20 01:20:37 Predicate logic Science Philosophical logic First-order logic Final examination Valuation Quantification Logic Mathematical logic Model theory
199	EasyCrypt Reference Manual Version 1.x — Compiled on June 9, Tactics Add to Reading List Source URL: www.easycrypt.info Language: English - Date: 2015-06-09 06:17:55 Predicate logic Logical syntax Metalogic Generalization Well-formed formula Logic Rules of inference Mathematical logic
200	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics

UPDATE